fix misnamed aliases
add private tag to private methods
add `with_final_result` extension to check final result of change block without the initial precondition test