Igorad,

Frama is definately a valuable indicator -- could you please add a shift function to it? thanks.