handling an operation truncation case: instance-of