Remove irrelevant variables and operators from planning problems via static analysis! - View it on GitHub