added infinite symbolic mode