special pre post conditions for lone_arrow, one_arrow etc (test 17 now succeeds)