Tests that p:log can be used in an atomic step.