Verbosity of some routines

Controll verbosity of some garrulous routines :-)

Please apply this patch before eval_eq branch - I left the bug in the eval_eq branch that is resolved by this patch (the routine that awaits verbose agr. (introduced in verbose branch) exists in eval_eq branch)