fixing short-circuiting in labeled formulae