Fixed bugs, changed visualization method, tested aniger example