semantic: Ensure that super calls in constructors are couched in preludes.