lies_addCommandDef :: Command -> Bool
applies_addCommandDef (DataCommand {})  = True
ap
applies_addCommandDef :: Command -> Bool
applies_addCommandDef (DataCommand {})  = True
applies_addCommandDef (DataCommand {})  = True