Fast Planning in Domains with Derived Predicates: An Approach Based on Rule-Action Graphs and Local Search.