todo KT-4887
Try remove 'removeTrivialSubstitutions'