Bidirectional Transformation on lambda_FG