fixed a bug regarding operations with no preconditions