add <cassert>
const SVal means SVal can't be modified, lets pass it by ref then