Implemented check for post-compositions with multiple differentiae.