added executable for non-sv computation & fixed while/if bug