Fix bug in ssa with changed variable ctor