WyC: Yet another bug fix for #435; related to #436.

This is yet another bug fix related to the incorrect normalisation of
type invariants for inclusion into postconditions.  The problem is
related to the fact that a type invariant has only one input, whereas a
postcondition has at least as many inputs as there are parameters.