added frame axiom - ensures clause to range example