assert_core P interpreted as {P}{P} rather than {emp}{P}