Split off pattern synonym definition checking from pattern inversion