Fix ssa converter

This pull request fix a bug in SSAConverter.