fixed predication in global scopes with no assumptions