Add Attachment:STR-766: The Cons congruence is never inlined leading to an increase in stack usage