Basic filtering of CTL output for invalid mappings