modify some terms
add execution time evaluation
refactor; support loop structure