Logical ANDs the expression onto the estack.
and_onto_top replaces the top expression on the estack with the logical AND of itself and ptr.