Detecting and Correcting Model Anomalies in Subspaces of Robot Planning Domains | Synapse