Support for top-level equations without left hand side