simulation result "unwrapping" and comparison with binding result