Fixed block.contains
Fixed procedure anti-return check