[InstSimplify] Fold simple known implications to true