User can choose between monomorphic, polymorphic and polyvariant analysis from command line